Around Logical Perfection

نویسندگان

چکیده

In this article we present a notion of “logical perfection”. We first describe through examples logical perfection extracted from the contemporary concept categoricity. Categoricity (in power) has become in past half century main driver ideas model theory, both mathematically (stability theory may be regarded as way approximating categoricity) and philosophically. two decades, categoricity notions have started to overlap with more classical robustness smoothness. These been crucial various parts mathematics since nineteenth century. postulate category perfection. draw on 19th 20th centuries then trace relation power what “mathematically perfect” structure is.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Testing perfection is hard

A graph property P is strongly testable if for every fixed > 0 there is a one-sided -tester for P whose query complexity is bounded by a function of . In classifying the strongly testable graph properties, the first author and Shapira showed that any hereditary graph property (such as P the family of perfect graphs) is strongly testable. A property is easily testable if it is strongly testable ...

متن کامل

Profiling, Performance, and Perfection

A profile is “a set of data often in graphic form portraying the significant features of something”. [Web88] Profiles can help us to quickly understand a person or entity better. In the development of computer-based applications, profiles are invaluable. They help us to understand the application – how it works, how well it works, whether it in fact works as we think it does, and whether it is ...

متن کامل

Perfection for Pomonoids

A pomonoid S is a monoid equipped with a partial order that is compatible with the binary operation. In the same way that M -acts over a monoid M correspond to the representation of M by transformations of sets, S-posets correspond to the representation of a pomonoid S by order preserving transformations of posets. Following standard terminology from the theories of R-modules over a unital ring...

متن کامل

Perfection thickness of graphs

We determine the order of growth of the worst-case number of perfect subgraphs needed to cover an n-vertex graph.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoria

سال: 2021

ISSN: ['1665-6415']

DOI: https://doi.org/10.1111/theo.12274